Typestate-based semantic code search over partial programs

Repairing Programs with Semantic Code Search

Automated program repair can potentially reduce debugging costs and improve software quality but recent studies have drawn attention to shortcomings in the quality of automatically generated repairs. We propose a new kind of repair that uses the large body of existing open-source code to find potential fixes. The key challenges lie in efficiently finding code semantically similar (but not ident...

Semantic Web-based Source Code Search

The ability to search for source code on the Internet has proven to be essential for many common software development and maintenance tasks. However, available code search engines are typically limited to lexical searches and do not take in consideration the underlying semantics of source code such as the program structure or language. Especially object-oriented source code, which includes inhe...

Typestate Checking of Machine Code

We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here " safety " means that the program abides by a memory-access policy that is supplied on the host side.) Our technique works on ordinary machine code, and mechanically synthesizes (and verifies) a safety proof. Our earlier work along these lines was based on a C-like type syste...

Keyword-Based Search over Semantic Data

Enabling non-experts to publish structured or semantic data on the web is an important achievement of the social web and one of the primary goals of the social semantic web. Making this data easily accessible in turn has received only little attention. Querying in semantic wikis typically uses full text search for the textual content and a web query language for the annotations. This has two sh...

Typestate Checking of Machine Code 1